An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·3d
🎯Performance Proofs
US military wants to secure the internet by making it more quantum
newscientist.com·13h
⚛️Quantum Tape
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
Are we solving digital identity or revealing we've lost what we're proving?
syntheticauth.ai·10h·
Discuss: Hacker News
🔐PKI Archaeology
Wrinkles in atomically thin materials unlock ultraefficient electronics
phys.org·1d
🧲Magnetic Domains
Scalable Quantum Annealing-Enhanced Topological Superconductor Design Optimization via Hyperdimensional Embedding
dev.to·3d·
Discuss: DEV
🕸️Tensor Networks
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·15h
🔐Cryptographic Archaeology
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Quantum computing explained: what it means for cybersecurity — and why it's coming faster than you think
techradar.com·1d
🔐Quantum Security
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·14h
🔗Tailscale
Signal Relays
pzuraq.com·13h·
Discuss: Hacker News
✨Effect Handlers
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·22h·
Discuss: Hacker News
📊Graph Databases
Building Castles in the Air, but With Surprise Physics
dbreunig.com·1d
⚙️Proof Engineering
Wormhole Dynamics in Deep Neural Networks
arxiv.org·1d
🔍Vector Forensics
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·1d·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·12h·
Discuss: Hacker News
🧠Learned Codecs